Resultaten visas 1 - 10 / 648
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

Finnish National Landscapes and Ladogan Karelia.Prirodnije parki v territorial'noi organizantsii Juzhnoi Karelii

Referentgranskad
Häyrynen, M.
-1995Publicationer information ikon

Symbolic Methods for Transducers and Testing

Öppen tillgång
Saarikivi, Olli
Aalto University2017Publicationer information ikon

Translating C# to Branching Symbolic Transducers

Referentgranskad
DOI
10.29007/7jf1
Saarikivi, Olli; Veanes, Margus
Kalpa Publications in Computing2017Publicationer information ikon

How Social-Symbolic Work Changes Places

Referentgranskad
Öppen tillgång
DOI
10.1111/joms.13178
Wright, April L; Lang, Richard; Kibler, Ewald
Journal of Management Studies2024Publicationer information ikon

Symbolic Model Checking of Hierarchical UML State Machines

Referentgranskad
Dubrovin, Jori; Junttila, Tommi
IEEE2008Publicationer information ikon

A Symbolic Model Checking Approach to Verifying Satellite Onboard Software

Referentgranskad
Gan, Xiang; Dubrovin, Jori; Heljanko, Keijo
-2012Publicationer information ikon

A bubble in the making: symbolic boundaries in a Finnish expatriate community

Referentgranskad
Öppen tillgång
DOI
10.1108/JGM-06-2022-0029
Peltonen, Tuomo; Huhtinen, Sirkka Liisa
Journal of global mobility2022Publicationer information ikon

Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks

Referentgranskad
DOI
10.1109/ACSD.2011.29
Kindermann, Roland; Junttila, Tommi; Niemelä, Ilkka
International Conference on Application of Concurrency to System Design. Proceedings2011Publicationer information ikon

Symbolic Manipulation of Differential Systems with AXIOM Computer Algebra System

Siltanen, S.; von Pfaler, J.
-1994Publicationer information ikon

Towards an improved understanding of project stakeholder landscapes

Referentgranskad
DOI
10.1016/j.ijproman.2016.08.009
Aaltonen, Kirsi; Kujala, Jaakko
International journal of project management2016

Finnish National Landscapes and Ladogan Karelia.Prirodnije parki v territorial'noi organizantsii Juzhnoi Karelii

Referentgranskad
1995

Symbolic Methods for Transducers and Testing

Öppen tillgång
2017

Translating C# to Branching Symbolic Transducers

Referentgranskad
DOI
10.29007/7jf1
2017

How Social-Symbolic Work Changes Places

Referentgranskad
Öppen tillgång
DOI
10.1111/joms.13178
2024

Symbolic Model Checking of Hierarchical UML State Machines

Referentgranskad
2008

A Symbolic Model Checking Approach to Verifying Satellite Onboard Software

Referentgranskad
2012

A bubble in the making: symbolic boundaries in a Finnish expatriate community

Referentgranskad
Öppen tillgång
DOI
10.1108/JGM-06-2022-0029
2022

Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks

Referentgranskad
DOI
10.1109/ACSD.2011.29
2011

Symbolic Manipulation of Differential Systems with AXIOM Computer Algebra System

1994

Towards an improved understanding of project stakeholder landscapes

Referentgranskad
DOI
10.1016/j.ijproman.2016.08.009
2016